Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
81	Harold Erbin Phone: +E-mail: Website: http://www.melsophia.org http://www.lpthe.jussieu.fr/~erbin Nationality: French Add to Reading List Source URL: www.melsophia.org Language: English - Date: 2015-11-16 11:58:57 Physics Physics beyond the Standard Model Theoretical physics Theories of gravitation Supersymmetry String theory Supergravity Quantum gravity Gauged supergravity Jol Scherk
82	The Test Suite Generation Problem: Optimal Instances and Their Implications Christine T. Cheng Department of Computer Science University of Wisconsin–Milwaukee, Milwaukee, WI 53211, USA. Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2007-09-18 16:02:01 Set theory Mathematics Model theory Tree Base Philosophy of mathematics Large cardinals Abstraction
83	A Short Introduction to Probabilistic Soft Logic Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:10 Logic Philosophy Abstraction Bayesian statistics Markov networks Reasoning Model theory Semantics Probabilistic soft logic Markov logic network Probabilistic logic Statistical relational learning
84	Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom
85	Advances in Mathematics 164, 24–doi:aima, available online at http://www.idealibrary.com on The Stable Homotopy Category Has a Unique Model at the Prime 2 Stefan Schwede Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:55 Homotopy theory Mathematics Topology Algebra Homotopy category Model category Bousfield localization Spectrum Triangulated category Derived category Homotopy colimit Weak equivalence
86	PROGRAM FOR THE SEMINAR ON “THOM SPECTRA AND UNITS” (AFTER ANDO-BLUMBERG-GEPNER-HOPKINS-REZK) STEFFEN SAGAVE AND MARKUS SZYMIK Introduction Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2009-09-15 04:18:43 Algebra Abstract algebra Mathematics Algebraic topology Homotopy theory Highly structured ring spectrum Spectrum Symmetric spectrum Model category Thom space E-operad Algebraic K-theory
87	WRF-DART 2011 Real-time mesoscale analysis spring experiment Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2011-07-19 10:48:57 Meteorology Physical geography Climatology Statistical forecasting Weather forecasting Control theory Data assimilation Estimation theory Assimilation National Center for Atmospheric Research Weather Research and Forecasting Model Meteorological reanalysis
88	Young Women in Topology Bonn, June 25 – 27, 2010 Rigid ring spectra Katja Hutschenreuter Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-30 08:04:36 Homotopy theory Algebra Abstract algebra Topology Homotopy category Model category Spectrum Stable model category Cohomology Derived category Weak equivalence Morava K-theory
89	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-10-20 05:03:57 Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic
90	SIMPLICIAL STRUCTURES ON MODEL CATEGORIES AND FUNCTORS By CHARLES REZK, STEFAN SCHWEDE, and BROOKE SHIPLEY Abstract. We produce a highly structured way of associating a simplicial category to a model category which impr Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:53 Homotopy theory Mathematics Topology Abstract algebra Model category Simplicial set Simplicial presheaf Quillen adjunction Weak equivalence Homotopy category Fibration Nerve

UPDATE